5

The Standardization Theorem for λ-Calculus

Year:
1979
Language:
english
File:
PDF, 185 KB
english, 1979
6

Ein algebraischer Beweis für das Church-Rosser-Theorem

Year:
1972
Language:
german
File:
PDF, 615 KB
german, 1972
7

λ-definierbare Funktionen auf Peanoalgebren

Year:
1972
Language:
german
File:
PDF, 261 KB
german, 1972